A Quasi-Formal Approach to Structuring Multi-Robot System Controllers
نویسنده
چکیده
The paper presents a formal approach to structuring multi-robot system controllers. It was used to structure the MRROC++ based controllers. The deduced structure is such that on the one hand it is not too complex for implementation and on the other hand it does not limit the tasks that can be executed. Both coordinated and uncoordinated motions are taken into account. Use of diverse sensors is also considered. This approach enables the classification of motion generators and execution conditions giving further insight into future performance of the designed system. The same approach can be used to elaborate different structures to the one used by MRROC++ based systems. Keywords— robot programming, multi-robot systems, multi-robot controllers, sensor incorporation
منابع مشابه
Presentation of quasi-linear piecewise selected models simultaneously with designing of bump-less optimal robust controller for nonlinear vibration control of composite plates
The idea of using quasi-linear piecewise models has been established on the decomposition of complicated nonlinear systems, simultaneously designing with local controllers. Since the proper performance and the final system close loop stability are vital in multi-model controllers designing, the main problem in multi-model controllers is the number of the local models and their position not payi...
متن کاملManipulation Control of a Flexible Space Free Flying Robot Using Fuzzy Tuning Approach
Cooperative object manipulation control of rigid-flexible multi-body systems in space is studied in this paper. During such tasks, flexible members like solar panels may get vibrated that in turn may lead to some oscillatory disturbing forces on other subsystems, and consequently produces error in the motion of the end-effectors of the cooperative manipulating arms. Therefore, to design and dev...
متن کاملToward a Multi-Robot Coordination Formalism
Coordination is an essential characteristic of any system, either natural or artificial, that is composed of multiple interacting agents. The mechanism by which the coordination is achieved determines such properties as how robust the system is to environmental perturbations, how efficient it is in performing a given task, and, more generally, what types of coordinated tasks can be achieved. A ...
متن کاملA Formal Design Methodology for Coordinated Multi-Robot Systems
To enable the successful deployment of task-achieving multi-robot systems (MRS), the interactions must be coordinated among the robots within the MRS and between the robots and the task environment. There have been a number of experimentally demonstrated coordinated MRS; however, most have been designed through ad hoc procedures, typically providing task-specific, empirical insights with few co...
متن کاملDecoupled Formal Synthesis for Almost Separable Systems with Temporal Logic Specifications
We consider the problem of synthesizing controllers automatically for distributed robots that are loosely coupled using a formal synthesis approach. Formal synthesis entails construction of game strategies for a discrete transition system such that the system under the strategy satisfies a specification, given for instance in linear temporal logic (LTL). The general problem of automated synthes...
متن کامل